/*
 * Desenvolvido para a disciplina Laboratório de Estrutura de Dados
 * Curso de Bacharelado em Ciencia da Computacao
 * Departamento de Sistemas e Computacao
 * Universidade Federal de Campina Grande
 *
 * Professor: Marco Aurelio Spohn
 * Monitor: Epitacio Miguel
 *
 */

import junit.framework.TestCase;

public class IndependentSetTest extends TestCase {
	public void testIndependentSetTest() {
		assertEquals("Verdadeiro", (new IndependentSet("1 2 1 5 2 3 2 5 4 3 4 5 4 6", "6")).executaIS());
		assertEquals("Verdadeiro", new IndependentSet("1 2 1 5 2 3 2 5 4 3 4 5 4 6", "6 5 3").executaIS());
		assertEquals("Falso", new IndependentSet("1 2 1 5 2 3 2 5 4 3 4 5 4 6",	"4 2 1").executaIS());
		assertEquals("Verdadeiro", new IndependentSet("1 2 1 5 2 3 2 5 4 3 4 5 4 6", "5 3 6").executaIS());
	}
}